#include<iostream>
using namespace std;
int date;
int main()
{
	cin>>date;
	int mm=date%100;
	int yy=(date-mm)/100;
	if(yy<=100&&yy>=22)
	yy=1900+yy;
	else if(yy<22)
	yy=2000+yy;
	else if(yy<1000)
	yy=1000+yy;
	printf("%04d-%02d",yy,mm);
	return 0;
}
